Sciweavers

57 search results - page 12 / 12
» Evaluation of Applying SpecC to the Integrated Design Method...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 1 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
CGA
2004
13 years 4 months ago
Haptic State-Surface Interactions
Haptic devices, such as the PHANTOM [1] (SensAble Technologies, Inc.) can be used to develop object interactions where various interaction states and state transitions are impleme...
Rick Komerska, Colin Ware