7766 search results - page 328 / 1554 » Testing Nondeterminate Systems |
138
click to vote
JUCS
2006
15 years 6 months ago
2006
: This paper proposes a Human-centered Pervasive Computing System Model (HPC), a Layered Architectural Analysis and Design Method (LAAD) and a Waterfall Prototyping Process Model (...
172
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together wit...
190
click to vote
ICEIS
2009
IEEE
15 years 4 months ago
2009
IEEE
: This paper presents the development of an Artificial Neural Network system for Dynamometer Card pattern recognition in oil well rod pump systems. It covers the establishment of p...
193
click to vote
ISPASS
2007
IEEE
16 years 29 days ago
2007
IEEE
The ongoing trend of increasing computer hardware and software complexity has resulted in the increase in complexity and overheads of cycle-accurate processor system simulation, e...
208
click to vote
ASPLOS
2004
ACM
16 years 3 days ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...