2694 search results - page 349 / 539 » A Description Logic of Change |
160
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, a new timing generation method is proposed for the performance analysis of embedded software. The time stamp generation of I/O accesses is crucial to performance es...
142
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The Web Services world consists of loosely-coupled distributed systems which adapt to ad-hoc changes by the use of service descriptions that enable opportunistic service discovery...
164
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
198
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
273
click to vote
VLSI
2007
Springer
16 years 18 days ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...