1726 search results - page 115 / 346 » Traits: Tools and Methodology |
DAC
2000
ACM
15 years 11 months ago
2000
ACM
We recently introduced symbolic timing simulation (STS) using data-dependent delays as a tool for verifying the timing of fullcustom transistor-level circuit designs, and for the ...
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Currently there is a lack of explicit theories and few detailed guidelines to support the development of Mixed Reality (MR) technology and its varied applications. This research f...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...