3130 search results - page 38 / 626 » Design Correctness of Digital Systems |
CSCW
2008
ACM
13 years 7 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...
ICAC
2009
IEEE
14 years 2 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...
ACMSE
2011
ACM
12 years 7 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...
DIAL
2004
IEEE
13 years 11 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...
EUROMICRO
2000
IEEE
14 years 1 days 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...