1239 search results - page 224 / 248 » Control Generation for Logic Programs |
129
click to vote
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
123
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
121
click to vote
RTSS
1992
IEEE
15 years 6 months ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
141
click to vote
INFORMATICALT
2010
14 years 11 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
113
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...