Sciweavers

3365 search results - page 380 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
IJCM
2008
93views more  IJCM 2008»
15 years 6 months ago
A reinforced learning control using iterative error compensation for uncertain dynamical systems
This paper investigates a learning control using iterative error compensation for uncertain systems to enhance the precision of high speed, computer controlled machining process. ...
Kuei-Shu Hsu, Wen-Shyong Yu, Ming-In Ho
MOBISYS
2004
ACM
16 years 6 months ago
Implementing Software on Resource-Constrained Mobile Sensors: Experiences with Impala and ZebraNet
ZebraNet is a mobile, wireless sensor network in which nodes move throughout an environment working to gather and process information about their surroundings [10]. As in many sen...
Ting Liu, Christopher M. Sadler, Pei Zhang, Margar...
IJCSA
2008
237views more  IJCSA 2008»
15 years 6 months ago
Development of A SOLAP Patrimony Management Application System: Fez Medina as a Case Study
It is well known that transactional and analytical systems each require different database architecture. In general, the database structure of transactional systems is optimized f...
I. Salam, M. El Mohajir, A. Taleb, B. El Mohajir
159
Voted
ICSE
2008
IEEE-ACM
16 years 6 months ago
Fostering user-developer collaboration with infrastructure probes
In this paper we present a new variation of cultural probes, called Infrastructure Probes (IP). IPs can be seen as an additional ethnographic method to get a deeper understanding ...
Christian Dörner, Jan Heß, Volkmar Pipe...
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
15 years 12 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee