1342 search results - page 216 / 269 » MEMS Design And Verification |
WWW
2006
ACM
16 years 16 days ago
2006
ACM
The poster describes a fast, simple, yet accurate method to associate large amounts of web resources stored in a search engine database with geographic locations. The method uses ...
205
click to vote
PADL
2009
Springer
16 years 15 days ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
VLSID
2002
IEEE
16 years 7 days ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
207
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
190
click to vote
POPL
2001
ACM
16 years 5 days ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...