3130 search results - page 380 / 626 » Design Correctness of Digital Systems |
156
click to vote
ICALT
2003
IEEE
15 years 12 months ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
141
Voted
PVM
2001
Springer
15 years 11 months ago
2001
Springer
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
170
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
188
click to vote
WSC
2008
15 years 9 months ago
2008
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
187
click to vote
ICOST
2010
Springer
15 years 8 months ago
2010
Springer
This article presents a service robotic system for people loosing their autonomy developed at CEA LIST. In the past on SAM robot, we have developed a method for automatic manipulat...