Sciweavers

408 search results - page 58 / 82
» Evaluation of SystemC Modelling of Reconfigurable Embedded S...
Sort
View
IJCAI
1993
15 years 5 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
129
Voted
FMICS
2006
Springer
15 years 7 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
143
Voted
RTCSA
2007
IEEE
15 years 10 months ago
A Real-Time Database Testbed and Performance Evaluation
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
Kyoung-Don Kang, Phillip H. Sin, Jisu Oh
IROS
2008
IEEE
104views Robotics» more  IROS 2008»
15 years 10 months ago
Kinematic study of the spider system in a biomimetic perspective
— The spiders’ ability of walking and climbing on different surfaces and in different conditions is taken into account in this paper in order to define and study a suitable sp...
Alessandro Gasparetto, Renato Vidoni, Tobias Seidl
131
Voted
DATE
2003
IEEE
134views Hardware» more  DATE 2003»
15 years 9 months ago
A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Ri...