2013 search results - page 212 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
SIGSOFT
2004
ACM
14 years 3 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriļ...
PDP
2006
IEEE
14 years 3 months ago
2006
IEEE
ā The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efļ¬cient parallel algorithms. ...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
A novel Hardware Assisted Top-Doc (HAT) component is disclosed. HAT is an optimized content indexing device based on a modified inverted index structure. HAT accommodates patterns...
IUI
2003
ACM
14 years 2 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...