Sciweavers

3330 search results - page 227 / 666
» software 2010
Sort
View
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
14 years 11 months ago
STM versus lock-based systems: an energy consumption perspective
The shift towards multicore processors and the well-known drawbacks imposed by lock-based synchronization have forced researchers to devise new alternatives for building concurren...
Felipe Klein, Alexandro Baldassin, Joao Moreira, P...
139
Voted
APSEC
2010
IEEE
14 years 7 months ago
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies
Abstract--In order to increase our ability to use measurement to support software development practise we need to do more analysis of code. However, empirical studies of code are e...
Ewan D. Tempero, Craig Anslow, Jens Dietrich, Ted ...
98
Voted
DT
2000
101views more  DT 2000»
15 years 15 days ago
Conflicting Criteria in Embedded System Design
The design of complex embedded systems involves the simultaneous optimization of several often competing objectives. Instead of a single optimal design, there is rather a set of a...
Michael Eisenring, Lothar Thiele, Eckart Zitzler
102
Voted
ENDM
2010
103views more  ENDM 2010»
14 years 10 months ago
Structural Analysis for Differential-Algebraic Systems: Complexity, Formulation and Facets
In this paper we consider the structural analysis problem for differential-algebraic systems with conditional equations. This consists, given a conditional differential algebraic ...
Mathieu Lacroix, Ali Ridha Mahjoub, Sébasti...
107
Voted
ENTCS
2010
108views more  ENTCS 2010»
14 years 10 months ago
Integrating Textual and Graphical Modelling Languages
Graphical diagrams are the main modelling constructs offered by the popular modelling language UML. Because textual representations of models also have their benefits, we investig...
Luc Engelen, Mark van den Brand