4250 search results - page 392 / 850 » Understanding the Requirements on Modelling Techniques |
188
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
190
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
210
click to vote
EGITALY
2006
15 years 8 months ago
2006
In recent years the progress of 3D scanning technologies and the consequent growing commercialization of scanners opened a large spectrum of opportunities for many professionals. ...
239
click to vote
CGF
2010
15 years 7 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
251
click to vote
PATMOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...