Sciweavers

4679 search results - page 22 / 936
» The Timely Computing Base Model and Architecture
Sort
View
130
Voted
MOBIHOC
2008
ACM
16 years 3 months ago
Toward stochastic anatomy of inter-meeting time distribution under general mobility models
Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...
Han Cai, Do Young Eun
151
Voted
CP
2009
Springer
15 years 6 months ago
Constraint-Based Local Search for the Automatic Generation of Architectural Tests
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
Pascal Van Hentenryck, Carleton Coffrin, Boris Gut...
176
Voted
PATMOS
2007
Springer
15 years 9 months ago
Optimization for Real-Time Systems with Non-convex Power Versus Speed Models
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
Ani Nahapetian, Foad Dabiri, Miodrag Potkonjak, Ma...
134
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
GSMA based Automated Negotiation Model for Grid Scheduling
In order to co-ordinate multiple resource providers in grid environment to meet a common objective, support for negotiation is needed to establish a contract between the users and...
Ponnuram Balakrishnan, S. Thamarai Selvi, Gnanapra...
121
Voted
DAC
1996
ACM
15 years 7 months ago
A Register File and Scheduling Model for Application Specific Processor Synthesis
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
Ehat Ercanli, Christos A. Papachristou