28244 search results - page 5633 / 5649 » System Design for Flexibility |
MICRO
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Directional antennas offer many potential advantages for wireless networks such as increased network capacity, extended transmission range and reduced energy consumption....
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
CANDC
2009
ACM
13 years 6 months ago
2009
ACM
There has been much recent interest in the development of tools to foster remote collaboration and shared creative work. An open question is: what are the guidelines for this proc...
DLS
2009
13 years 6 months ago
2009
Ruby is a popular, dynamic scripting language that aims to "feel natural to programmers"and give users the"freedom to choose" among many different ways of doin...