15253 search results - page 145 / 3051 » Integer-Programming Software Systems |
233
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
148
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
While the use of software component models has become popular in the development of desktop applications and distributed information systems, such models have not been widely used...
145
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
142
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
142
Voted
ICALT
2003
IEEE
15 years 10 months ago
2003
IEEE
Students often turn to their peers for help in order to learn a new concept or lesson introduced by a teacher in class. This establishes roles of tutor and learner between student...