770 search results - page 140 / 154 » Agile requirements engineering with prototyping: A case stud... |
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a case study of developing a digital media indexing application, code-named MARVEL, on the STI Cell Broadband Engine (CBE) processor. There are two aspects of the targe...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we present a methodology for designing a pipeline of accelerators for an application. The application is modeled using sequential C language with simple stylization...
ISCC
2005
IEEE
15 years 4 months ago
2005
IEEE
During the last years there have been a lot of proposals in the literature for systems that attempt to manage the process of trust establishment. However, the engineering details ...