1525 search results - page 270 / 305 » Formal Models for Communication-Based Design |
105
Voted
HPCA
2005
IEEE
16 years 28 days ago
2005
IEEE
Dynamic voltage and frequency scaling (DVFS) is a widely-used method for energy-efficient computing. In this paper, we present a new intra-task online DVFS scheme for multiple clo...
103
click to vote
DAC
2007
ACM
15 years 4 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...
124
Voted
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
120
click to vote
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
122
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
The development of Logic Programming and Defeasible Argumentation lead to Defeasible Logic Programming. Its core resides in the characterization of the warrant procedure. Defeasib...