4476 search results - page 2 / 896 » A flexible framework for engineering |
TAICPART
2006
IEEE
13 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
PERCOM
2004
ACM
14 years 5 months ago
2004
ACM
There is growing interest in the use of context-awareness as a technique for developing pervasive computing applications that are flexible, adaptable, and capable of acting autono...
EDBTW
2004
Springer
13 years 11 months ago
2004
Springer
While there are many proposals for path indexes on XML documents, none of them is perfectly suited for indexing large-scale collections of interlinked XML documents. Existing strat...
CODES
1999
IEEE
13 years 10 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...