Sciweavers

1541 search results - page 256 / 309
» Software Hardware Co-Scheduling for Reconfigurable Computing...
Sort
View
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
13 years 7 months ago
Formal Correctness Proof for DPLL Procedure
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
Filip Maric, Predrag Janicic
CHI
2005
ACM
14 years 9 months ago
Sketch-based rapid prototyping platform for hardware-software integrated interactive products
This paper presents a platform in which interaction designers can effectively and rapidly develop tangible interactive prototypes by sketching. The study aims to build a platform ...
Tek-Jin Nam
CODES
2005
IEEE
14 years 2 months ago
Satisfying real-time constraints with custom instructions
Instruction-set extensible processors allow an existing processor core to be extended with application-speciļ¬c custom instructions. In this paper, we explore a novel application...
Pan Yu, Tulika Mitra
NOMS
2010
IEEE
251views Communications» more  NOMS 2010»
13 years 7 months ago
Online detection of utility cloud anomalies using metric distributions
ā€”The online detection of anomalies is a vital element of operations in data centers and in utility clouds like Amazon EC2. Given ever-increasing data center sizes coupled with th...
Chengwei Wang, Vanish Talwar, Karsten Schwan, Part...
EUROPAR
2001
Springer
14 years 1 months ago
VIA Communication Performance on a Gigabit Ethernet Cluster
As the technology for high-speed networks has evolved over the last decade, the interconnection of commodity computers (e.g., PCs and workstations) at gigabit rates has become a re...
Mark Baker, Paul A. Farrell, Hong Ong, Stephen L. ...