1080 search results - page 171 / 216 » Modeling Constraint Programs with Software Technology Standa... |
120
Voted
SC
2009
ACM
15 years 7 months 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-...
140
Voted
RTAS
2008
IEEE
15 years 8 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...
130
Voted
SAC
2009
ACM
15 years 9 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...
132
click to vote
ACISICIS
2007
IEEE
15 years 8 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...
122
Voted
CGI
2000
IEEE
15 years 6 months 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, (...