9989 search results - page 5 / 1998 » A CLP Approach to Modelling Systems |
ICFEM
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
DFT
2003
IEEE
14 years 21 days ago
2003
IEEE
Test scheduling and Test Access Mechanism (TAM) design are two important tasks in the development of a System-on-Chip (SOC) test solution. Previous test scheduling techniques assu...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
CONTEXT
2011
Springer
12 years 7 months ago
2011
Springer
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...