Sciweavers

3357 search results - page 537 / 672
» On the Use of Process Trails to Understand Software Developm...
Sort
View
EMNETS
2007
15 years 1 months ago
Acoustic laptops as a research enabler
The Acoustic ENSBox [1] is an embedded platform which enables practical distributed acoustic sensing by providing integrated hardware and software support in a single platform. It...
Michael Allen, Lewis Girod, Deborah Estrin
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 4 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
MVA
1992
14 years 11 months ago
High Speed Autofocus for Microscopic Images
2 Computational Theory The processing of biological specimens or the 2.1 Overview examination of material surfaces for quality control requires a fast and precise autofocus system....
J. E. Fischer, D. Homeister, J. Lehmler, G. Roos
IPPS
2007
IEEE
15 years 4 months ago
Virtual Execution Environments: Support and Tools
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, ...
BIRTHDAY
2003
Springer
15 years 3 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...