Sciweavers

1579 search results - page 86 / 316
» A software development process supporting non-functional pro...
Sort
View
ARCS
2004
Springer
15 years 8 months ago
Towards a Dynamically Reconfigurable System-on-Chip Platform for Video Signal Processing
: This paper reports ongoing work towards a dynamically reconfigurable System-on-Chip (SoC) platform for video signal processing. It consists of dedicated, statically and dynamical...
Walter Stechele, Stephan Herrmann, Andreas Herkers...
DATE
2008
IEEE
142views Hardware» more  DATE 2008»
15 years 11 months ago
Developing Mesochronous Synchronizers to Enable 3D NoCs
The NETWORK-ON-CHIP (NOC) interconnection paradigm has been gaining momentum thanks to its flexibility, scalability and suitability to deep submicron technology processes. The ne...
Igor Loi, Federico Angiolini, Luca Benini
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
SEKE
2007
Springer
15 years 10 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du
EGC
2005
Springer
15 years 10 months ago
Tools for Distributed Development and Deployment on the Grid
Abstract. The development and deployment of middleware and applications in a grid environment spread over many institutions is a complex challenge. The management of the developmen...
Ariel García, Markus Hardt, Harald Kornmaye...