5465 search results - page 496 / 1093 » Assigning Types to Processes |
192
click to vote
WORDS
2005
IEEE
16 years 19 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...
178
click to vote
ISPD
2005
ACM
16 years 19 days ago
2005
ACM
As thermal problems become more evident, new physical design paradigms and tools are needed to alleviate them. Incorporating thermal vias into integrated circuits (ICs) is a promi...
191
click to vote
MHCI
2005
Springer
16 years 16 days ago
2005
Springer
Camera phones have been viewed simplistically as digital cameras with poor picture quality while neglecting the utility of the two key functionalities of mobile phones: network co...
184
click to vote
SPIN
2005
Springer
16 years 16 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
189
click to vote
PASTE
2004
ACM
16 years 14 days ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...