Sciweavers

897 search results - page 73 / 180
» Maintenance-Oriented Design and Development: A Case Study
Sort
View
SOCO
2007
Springer
15 years 6 months ago
Streamlining Feature-Oriented Designs
Abstract. Software development for embedded systems gains momentum but faces many challenges. Especially the constraints of deeply embedded systems, i.e., extreme resource and perf...
Martin Kuhlemann, Sven Apel, Thomas Leich
92
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 5 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
AAIM
2005
Springer
75views Algorithms» more  AAIM 2005»
15 years 6 months ago
Mechanism Design for Set Cover Games When Elements Are Agents
In this paper we study the set cover games when the elements are selfish agents. In this case, each element has a privately known valuation of receiving the service from the sets,...
Zheng Sun, Xiang-Yang Li, Weizhao Wang, Xiaowen Ch...
89
Voted
ICCD
2007
IEEE
105views Hardware» more  ICCD 2007»
15 years 9 months ago
Exploring the interplay of yield, area, and performance in processor caches
The deployment of future deep submicron technology calls for a careful review of existing cache organizations and design practices in terms of yield and performance. This paper pr...
Hyunjin Lee, Sangyeun Cho, Bruce R. Childers
109
Voted
ECSCW
2001
15 years 1 months ago
Spaces of practice
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
Monika Büscher, Preben Mogensen, Dan Shapiro