2682 search results - page 146 / 537 » An Iterative-Cyclic Software Process Model |
SIGSOFT
2000
ACM
15 years 2 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
161
click to vote
ASWSD
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
VLSI
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
120
click to vote
SIGMOD
2011
ACM
14 years 24 days ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
KBSE
2002
IEEE
15 years 2 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...