7380 search results - page 1174 / 1476 » Engineering Software Intensive Systems |
140
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the following fundamental scheduling problem. The input consists of n jobs to be scheduled on a set of machines of bounded capacities. Each job is associated with a re...
148
click to vote
IWPSE
2010
IEEE
15 years 2 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
136
Voted
UIST
2010
ACM
15 years 2 months ago
2010
ACM
We describe techniques for direct pen+touch input. We observe people's manual behaviors with physical paper and notebooks. These serve as the foundation for a prototype Micro...
130
Voted
UIST
2010
ACM
15 years 2 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...
165
Voted
WCET
2010
15 years 2 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...