-
1
المؤلفون: Thomas Reps, Tycho Andersen, Matt Elder, Junghee Lim, Tushar Sharma
المصدر: Static Analysis ISBN: 9783642237010
SASمصطلحات موضوعية: Discrete mathematics, Semantics (computer science), Computer science, Affine transformation, Algorithm
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a8187a817a4c4f2d561765abe4e0891c
https://doi.org/10.1007/978-3-642-23702-7_17 -
2
المؤلفون: Matt Elder, Akash Lal, Evan Driscoll, Thomas Reps, Tycho Andersen, Aditya V. Thakur, Junghee Lim, Amanda Burton
المصدر: Computer Aided Verification ISBN: 9783642142949
CAVمصطلحات موضوعية: High-level verification, Theoretical computer science, Functional verification, Software model checking, Programming language, Computer science, Local variable, Aliasing (computing), Symbolic execution, computer.software_genre, Machine code, computer, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::813043dac87d89b1312679126e6ec509
https://doi.org/10.1007/978-3-642-14295-6_27 -
3
المؤلفون: Srikanta Tirthapura, Tycho Andersen
المصدر: 2009 Sixth International Conference on Networked Sensing Systems (INSS).
مصطلحات موضوعية: Discretization, Degree (graph theory), business.industry, Wireless ad hoc network, Computer science, Distributed computing, Three-dimensional space, Software deployment, Discrete optimization, Computer Science::Networking and Internet Architecture, Wireless, business, Wireless sensor network, Computer network
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17261f8e3e9f2f9a33ca97b2e3f432bb
https://doi.org/10.1109/inss.2009.5409946