1760 search results - page 90 / 352 » Program Analysis Using Weighted Pushdown Systems |
94
Voted
BIOID
2008
15 years 2 months ago
2008
When a person passes by a surveillance camera a sequence of image is obtained. Before performing any analysis on the face of a person, the face first needs to be detected and secon...
126
click to vote
EMSOFT
2006
Springer
15 years 2 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
96
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
108
Voted
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...
120
click to vote
BMCBI
2007
15 years 20 days ago
2007
Background: Most existing algorithms for the inference of the structure of gene regulatory networks from gene expression data assume that the activity levels of transcription fact...