Sciweavers

442 search results - page 70 / 89
» Validation methods for calibrating software effort models
Sort
View
ESE
2006
199views Database» more  ESE 2006»
15 years 5 months ago
Experiences from introducing UML-based development in a large safety-critical project
UML and UML-based development methods have become de facto standards in industry, and there are many claims for the positive effects of modelling object-oriented systems using meth...
Bente Anda, Kai Hansen, Ingolf Gullesen, Hanne Kri...
BMCBI
2007
111views more  BMCBI 2007»
15 years 5 months ago
CATMA, a comprehensive genome-scale resource for silencing and transcript profiling of Arabidopsis genes
Background: The Complete Arabidopsis Transcript MicroArray (CATMA) initiative combines the efforts of laboratories in eight European countries [1] to deliver gene-specific sequenc...
Gert Sclep, Joke Allemeersch, Robin Liechti, Bj&ou...
MJ
2011
288views Multimedia» more  MJ 2011»
15 years 26 days ago
Emulation-based transient thermal modeling of 2D/3D systems-on-chip with active cooling
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
Pablo Garcia Del Valle, David Atienza
FORMATS
2003
Springer
15 years 11 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
MOMM
2009
ACM
163views Communications» more  MOMM 2009»
15 years 10 months ago
Tools for designing and prototyping activity-based pervasive applications
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
Pascal Bruegger, Denis Lalanne, Agnes Lisowska, B&...