4604 search results - page 719 / 921 » Concurrency in Synchronous Systems |
99
Voted
ENTCS
2002
15 years 15 days ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
75
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Interaction of a robot with dynamic environments would require continuous adaptation of force and impedance, which is generally not available in current robot systems. In contr...
137
click to vote
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
134
Voted
3DPH
2009
14 years 10 months ago
2009
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
112
Voted
FAST
2009
14 years 10 months ago
2009
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...