3130 search results - page 379 / 626 » Design Correctness of Digital Systems |
161
click to vote
SCAM
2009
IEEE
16 years 1 months ago
2009
IEEE
—As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be designed with a greater emphasis on concurrency. Threading has be...
166
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
201
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
148
click to vote
IEEEICCI
2007
IEEE
16 years 29 days ago
2007
IEEE
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
167
click to vote
TSD
2005
Springer
16 years 4 days ago
2005
Springer
In this paper a new rule-based approach to break assignment for the Russian language is discussed. It is a flexible and robust method of segmentation of texts in Russian in prosod...