3844 search results - page 130 / 769 » Modular interpreted systems |
112
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— A simple and robust inter-module latch is possibly the most important component of a modular robotic system. This paper describes a latch based on electric fields and capaciti...
119
click to vote
GLVLSI
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we propose an FPGA implementation of a multi protocol Weighted Fair (WF) queuing algorithm able to handle variable length packets targeted for Packet Over Sonet (POS...
113
click to vote
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...
139
click to vote
CADE
2004
Springer
15 years 8 months ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
155
click to vote
ISCC
1999
IEEE
15 years 7 months ago
1999
IEEE
Location-Aware applications for supporting the mobile user as well as logistics of movable objects have proven significant relevance for future telecommunication and computing. Ba...