4480 search results - page 727 / 896 » Prototyping Completion with Constraints Using Computational ... |
147
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...
186
click to vote
ASAP
2008
IEEE
16 years 27 days ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
179
click to vote
ICCCN
2008
IEEE
16 years 26 days ago
2008
IEEE
– In this paper we present a distributed, self-organizing, localization method for wireless sensors and a scheme for reducing position estimate errors by employing a novel concep...
173
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
169
click to vote
ICNP
2006
IEEE
16 years 13 days ago
2006
IEEE
— The BitTorrent (BT) file sharing protocol is popular due to its scalability property and the incentive mechanism to reduce free-riding. However, in designing such P2P file sh...