7124 search results - page 941 / 1425 » Programming Languages and Operating Systems |
176
Voted
WSC
2008
15 years 8 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
152
click to vote
FSEN
2009
Springer
16 years 28 days ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
164
click to vote
DATE
2008
IEEE
16 years 24 days ago
2008
IEEE
Modern embedded CPU systems rely on a growing number of software features, but this growth increases the memory footprint and increases the need for efficient instruction and data...
181
click to vote
ISCC
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose routing schemes that optimize the average number of hops for lookup requests in Peer–to–Peer (P2P) systems without adding any overhead to the system. Our work is in...
169
click to vote
WSC
2004
15 years 7 months ago
2004
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...