1080 search results - page 171 / 216 » Modeling Constraint Programs with Software Technology Standa... |
SC
2009
ACM
14 years 11 days ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
ACISICIS
2007
IEEE
14 years 2 months ago
2007
IEEE
People enacting processes deviate from the process definition for a variety of different reasons, the consequences of which may be either positive or negative. Detecting deviation...
CGI
2000
IEEE
14 years 4 days ago
2000
IEEE
An ideal triangle mesh compression technology would simultaneously support the following three objectives: (1) progressive refinements of the received mesh during decompression, (...