Sciweavers

12334 search results - page 323 / 2467
» The Use of C
Sort
View
ICPP
2008
IEEE
16 years 1 months ago
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamo...
ICRA
2006
IEEE
112views Robotics» more  ICRA 2006»
16 years 23 days ago
Robot-assisted Catheter Insertion using Hybrid Impedance Control
— Angioplasty is a minimally invasive procedure wherein a catheter (a thermoplastic hollow wire) is inserted into the femoral artery and guided till it reaches a blockage in the ...
Jagadeesan Jayender, Rajnikant V. Patel, S. Nikumb
ASPDAC
2005
ACM
106views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Using loop invariants to fight soft errors in data caches
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
Sri Hari Krishna Narayanan, Seung Woo Son, Mahmut ...
WCE
2007
15 years 8 months ago
Tool Wear and Surface Roughness in Turning AISI 8620 using Coated Ceramic Tool
- The purpose of this research paper is to study the tool wear and surface roughness of AISI 8620 material using coated ceramic tool by turning process. Ceramic cutting tools have ...
S. Thamizhmanii, K. Kamarudin, E. A. Rahim, A. Sap...
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 5 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King