3742 search results - page 461 / 749 » On the Use of Formal Techniques for Validation |
160
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
180
click to vote
PLDI
2006
ACM
16 years 19 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
175
click to vote
IDA
2005
Springer
16 years 5 days ago
2005
Springer
Clustering or bi-clustering techniques have been proved quite useful in many application domains. A weakness of these techniques remains the poor support for grouping characterizat...
199
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
178
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...