Sciweavers

5343 search results - page 769 / 1069
» Keyword programming in java
Sort
View
DAC
2005
ACM
15 years 8 months ago
Modular domain-specific implementation and exploration framework for embedded software platforms
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
Christian Sauer, Matthias Gries, Sören Sonnta...
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ESEM
2008
ACM
15 years 8 months ago
A constrained regression technique for cocomo calibration
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...
Vu Nguyen, Bert Steece, Barry W. Boehm
BCSHCI
2007
15 years 8 months ago
HCI 2.0?: usability meets web 2.0
The web has already dramatically changed society, but the web itself is changing. Web2.0 sites mean that users have become the producers of content and the designers of each other...
Alan J. Dix, Laura Cowen
JCKBSE
2008
15 years 8 months ago
Comparing internal and external software quality measurements
Modern software development companies that have a quality assurance program use measurements and standards to improve product quality as perceived by the users of these products. H...
Dimitris Stavrinoudis, Michalis Nik Xenos