7529 search results - page 309 / 1506 » The Modula-3 Type System |
133
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We present a novel type of inter-module connection mechanism for waterborne modular robotic systems. The proposed mechanism exploits the thermoelectric effect to cool d...
178
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...
203
click to vote
ICNP
2006
IEEE
16 years 22 days ago
2006
IEEE
— Peer-to-peer (P2P) systems have been widely used for exchange of voluminous information and resources among thousands or even millions of users. Since shared data are normally ...
170
click to vote
FMSD
2006
15 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
152
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
In software engineering projects, there are two different types of modeling tools. On the one hand, there are tools to model the system under construction, i.e. tools for requirem...