6455 search results - page 410 / 1291 » Research problems |
198
click to vote
SOFSEM
2012
Springer
14 years 2 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
171
click to vote
FGCS
2008
15 years 6 months ago
2008
While large grids are currently supporting the work of thousands of scientists, very little is known about their actual use. Due to strict organizational permissions, there are fe...
225
click to vote
EOR
2007
15 years 6 months ago
2007
Crew scheduling problems at the planning level are typically solved in two steps: first, creating working patterns, and then assigning these to individual crew. The first step is ...
230
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
Mobile communication data analysis has been often used as a background application to motivate many data mining problems. However, very few data mining researchers have a chance t...
207
click to vote
ANCS
2005
ACM
16 years 11 days ago
2005
ACM
Task to resource mapping problems are encountered during (i) hardware-software co-design and (ii) performance optimization of Network Processor systems. The goal of the first pro...