Sciweavers

11234 search results - page 521 / 2247
» A Microsurgery Simulation System
Sort
View
CEC
2007
IEEE
15 years 10 months ago
Double-deck elevator systems using Genetic Network Programming with reinforcement learning
Abstract-- In order to increase the transportation capability of elevator group systems in high-rise buildings without adding elevator installation space, double-deck elevator syst...
Jin Zhou, Lu Yu, Shingo Mabu, Kotaro Hirasawa, Jin...
NSDI
2007
15 years 9 months ago
WiDS Checker: Combating Bugs in Distributed Systems
Despite many efforts, the predominant practice of debugging a distributed system is still printf-based log mining, which is both tedious and error-prone. In this paper, we present...
Xuezheng Liu, Wei Lin, Aimin Pan, Zheng Zhang
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 8 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
AADEBUG
2005
Springer
16 years 12 days ago
An integrated debugging environment for reprogrammble hardware systems
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
Kevin Camera, Hayden Kwok-Hay So, Robert W. Broder...
NPC
2005
Springer
16 years 10 days ago
A Resource-Based Server Performance Control for Grid Computing Systems
With the rapid advances in Internet and Grid technique, an increasing number of applications will involve computing systems. These applications in turn create an increasing demand ...
Naixue Xiong, Xavier Défago, Yanxiang He, Y...