171 search results - page 28 / 35 » Efficient algorithms for interface timing verification |
112
click to vote
WWW
2008
ACM
16 years 2 months ago
2008
ACM
For many users with a physical or motor disability, using a computer mouse or other pointing device to navigate the web is cumbersome or impossible due to problems with pointing a...
142
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
127
Voted
HT
2006
ACM
15 years 7 months ago
2006
ACM
While the Internet community recognized early on the need to store and preserve past content of the Web for future use, the tools developed so far for retrieving information from ...
126
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
120
click to vote
ACSD
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...