5252 search results - page 371 / 1051 » Requirements engineering: a roadmap |
207
click to vote
XPU
2007
Springer
16 years 1 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
175
click to vote
ASWEC
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
150
click to vote
CCECE
2006
IEEE
16 years 29 days ago
2006
IEEE
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...
178
click to vote
CODES
2006
IEEE
16 years 29 days ago
2006
IEEE
Embedded processors have been increasingly exploiting hardware parallelism. Vector units, multiple processors or cores, hyper-threading, special-purpose accelerators such as DSPs ...
183
click to vote
COMPSAC
2006
IEEE
16 years 29 days ago
2006
IEEE
Wireless sensor networks are becoming a basis for a rapidly increasing range of applications. Habitat, flood, and wildfire monitoring are interesting examples of such applicatio...