Sciweavers

1234 search results - page 223 / 247
» A Scheduling and Pipelining Algorithm for Hardware Software ...
Sort
View
RAS
2000
135views more  RAS 2000»
13 years 7 months ago
Development of the ring sensor for healthcare automation
This paper presents the development of a miniaturized telemetered ambulatory monitoring device in a ring configuration. The device, called ring sensor, is worn by the patient at a...
Boo-Ho Yang, Sokwoo Rhee
INFORMATICALT
2010
103views more  INFORMATICALT 2010»
13 years 6 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
CASES
2008
ACM
13 years 9 months ago
Efficiency and scalability of barrier synchronization on NoC based many-core architectures
Interconnects based on Networks-on-Chip are an appealing solution to address future microprocessor designs where, very likely, hundreds of cores will be connected on a single chip...
Oreste Villa, Gianluca Palermo, Cristina Silvano
CODES
2007
IEEE
14 years 2 months ago
Compile-time decided instruction cache locking using worst-case execution paths
Caches are notorious for their unpredictability. It is diļ¬ƒcult or even impossible to predict if a memory access results in a deļ¬nite cache hit or miss. This unpredictability i...
Heiko Falk, Sascha Plazar, Henrik Theiling
AUIC
2005
IEEE
14 years 1 months ago
Hand Tracking For Low Powered Mobile AR User Interfaces
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
Ross Smith, Wayne Piekarski, Grant B. Wigley