138
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
147
Voted
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
152
Voted
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
133
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
158
click to vote
FINANCECOM
2007
Springer
15 years 8 months ago
2007
Springer
The Service-oriented architecture (SOA) paradigm has been gaining momentum over the last few years. Although the banking industry has often been mentioned as an early adaptor of s...