5111 search results - page 962 / 1023 » The Embedded Systems Design Challenge |
129
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
209
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Testing and debugging database system applications is often challenging and time consuming. A database tester (or DB tester for short) has to detect a problem, determine why it ha...
124
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Automotive traffic monitoring using probe vehicles with Global Positioning System receivers promises significant improvements in cost, coverage, and accuracy. Current approaches, ...
167
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
181
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...