2813 search results - page 514 / 563 » Formalizing Architectural Connection |
143
click to vote
TCAD
2008
15 years 2 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
142
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
133
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
136
Voted
CVPR
1999
IEEE
16 years 4 months ago
1999
IEEE
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...
137
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...