722 search results - page 25 / 145 » The State Operator in Real Time Process Algebra |
110
click to vote
NBIS
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we describe our modifications to ospfd, a popular open-source implementation of OSPF routing protocol. The ospfd software can also be run in simulation mode, where...
DCC
2007
IEEE
15 years 11 months ago
2007
IEEE
Instruction and data address traces are widely used by computer designers for quantitative evaluations of new architectures and workload characterization, as well as by software de...
111
click to vote
ICVS
2001
Springer
15 years 4 months ago
2001
Springer
Interactive robotics demands real-time visual information about the environment. Real time vision processing, however, places a heavy load on the robot’s limited resources, and m...
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
105
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...