612 search results - page 33 / 123 » Bridging the Gap between Systems Design |
101
Voted
ASPLOS
2010
ACM
15 years 8 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciï...
116
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Whereas today’s information systems are well-equipped for efficient query handling, their strict mathematical foundations hamper their use for everyday tasks. In daily life, peop...
79
Voted
WOA
2003
15 years 3 months ago
2003
— In the last few years, efforts have been done towards bridging the gap between agent technology and de facto standard technologies, aiming at introducing multi-agent systems in...
113
click to vote
ICWE
2007
Springer
15 years 8 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
112
Voted
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...