Sciweavers

13109 search results - page 321 / 2622
» The design and implementation of AspectC
Sort
View
EUC
2004
Springer
16 years 4 days ago
Embedded System Design for Network Time Synchronization
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...
So-Young Hwang, Dong-Hui Yu, Ki-Joune Li
174
Voted
ISCA
2002
IEEE
128views Hardware» more  ISCA 2002»
15 years 11 months ago
Detailed Design and Evaluation of Redundant Multithreading Alternatives
Exponential growth in the number of on-chip transistors, coupled with reductions in voltage levels, makes each generation of microprocessors increasingly vulnerable to transient f...
Shubhendu S. Mukherjee, Michael Kontz, Steven K. R...
ICCAD
1999
IEEE
108views Hardware» more  ICCAD 1999»
15 years 11 months ago
Copy detection for intellectual property protection of VLSI designs
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
Andrew B. Kahng, Darko Kirovski, Stefanus Mantik, ...
KBSE
1994
IEEE
15 years 11 months ago
A Formal Approach to Domain-Oriented Software Design Environments
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
Michael R. Lowry, Andrew Philpot, Thomas Pressburg...
CRV
2006
IEEE
192views Robotics» more  CRV 2006»
15 years 10 months ago
Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters
This paper addresses the problem of simultaneous localization and mapping (SLAM) using vision-based sensing. We present and analyse an implementation of a RaoBlackwellised particl...
Robert Sim, Pantelis Elinas, Matt Griffin, Alex Sh...