73 search results - page 8 / 15 » First Steps in the Verified Software Grand Challenge |
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
: © A visual tool for rapid integration of enterprise software applications Inbal Marhaim, Eli Mordechai, Claudio Bartolini, Ruth Bergman, Oren Ariel, Christopher Peltz HP Laborat...
67
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
VLSI
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
BMCBI
2010
14 years 9 months ago
2010
Background: Identification of transcription factors (TFs) involved in a biological process is the first step towards a better understanding of the underlying regulatory mechanisms...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
A key challenge for software that supports asynchronous distance education is to engage and guide students who are not interacting in real-time. We describe a first study of two a...