12333 search results - page 2267 / 2467 » System Level Modelling for Hardware Software Systems |
135
Voted
BROADNETS
2004
IEEE
15 years 6 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...
132
Voted
FMCAD
2006
Springer
15 years 6 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
150
Voted
IJCAI
2001
15 years 4 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
107
Voted
OTM
2010
Springer
15 years 13 days ago
2010
Springer
Massive-scale distributed computing is a challenge at our doorstep. The current exponential growth of data calls for massive-scale capabilities of storage and processing. This is b...
132
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...