1299 search results - page 156 / 260 » On the Correctness of Operating System Kernels |
182
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
162
click to vote
OSDI
1996
ACM
15 years 7 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
173
click to vote
ICMENS
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract— In the present work we investigate nonlinear dynamics in a nanomechanical doubly clamped beam made of PdAu fabricated using bulk nanomachining and e-beam lithography. T...
168
click to vote
SAS
1999
Springer
15 years 10 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
182
click to vote
WSC
2008
15 years 8 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...