1941 search results - page 316 / 389 » Reasoning about Computations Using Two-Levels of Logic |
128
Voted
HUC
2010
Springer
15 years 1 months ago
2010
Springer
Even though the coordination of kids’ activities is largely successful, the modern dual income family still regularly experiences breakdowns in their practices. Families often r...
121
Voted
EXPERT
2011
14 years 7 months ago
2011
—With the rapid development of the electricity market, both grid and market operations need to be carefully coordinated and monitored in real time. This paper focuses on system m...
121
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
The MasterMind game involves decoding a secret code. The classic game is a code of six possible colors in four slots. The game has been analyzed and optimal strategies have been po...
149
click to vote
PPOPP
2010
ACM
16 years 20 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
120
Voted
ITICSE
2003
ACM
15 years 8 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...