3130 search results - page 38 / 626 » Design Correctness of Digital Systems |
125
click to vote
CSCW
2008
ACM
15 years 3 months ago
2008
ACM
We conducted an ethnographic field study examining how a building design team used representational artifacts to coordinate the design of building systems, structure, and architect...
147
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...
229
click to vote
ACMSE
2011
ACM
14 years 3 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
126
click to vote
DIAL
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
139
Voted
EUROMICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...