11797 search results - page 310 / 2360 » Recent Developments in the Experimental |
188
click to vote
VSTTE
2005
Springer
16 years 7 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
203
Voted
CLA
2006
15 years 8 months ago
2006
In this paper, we propose a generic description of the concept lattice as classifier in an iterative recognition process. We also present the development of a new structural signat...
163
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
Abstract-- In experimentally assessing the stability and performance level of a large collection of controllers in feedback with a single unknown actual plant, we develop a method ...
160
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
Recent developments in embedded systems technology have opened up a vast area of research and development- the development of portable and affordable assistive devices tuned to sp...
137
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Most recently developed context-aware software applications make unrealistic assumptions about the quality of the available context information, which can lead to inappropriate ac...