321 search results - page 50 / 65 » Test scheduling for core-based systems |
GLOBECOM
2007
IEEE
15 years 2 months ago
2007
IEEE
Spatial scheduling in a heterogeneous WiMax Downlink channel, based on partial Channel State Information at the Transmitter (CSIT), is carried out through a multibeam opportunistic...
104
click to vote
MSO
2003
15 years 11 days ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
109
click to vote
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
114
click to vote
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
ATAL
2010
Springer
15 years 3 days ago
2010
Springer
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...