7557 search results - page 77 / 1512 » Modeling Timed Concurrent Systems |
112
click to vote
NOSSDAV
2004
Springer
15 years 6 months ago
2004
Springer
—In mobile devices, the wireless network interface card (WNIC) consumes a significant portion of overall system energy. One way to reduce energy consumed by a WNIC is to transit...
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
122
click to vote
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents a two-leveled mobile agent system for electronic commerce. It is based on mobile agents as mediators and uses the publish/subscribe paradigm for registration an...
120
click to vote
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
134
click to vote
CASES
2008
ACM
15 years 3 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...