1604 search results - page 182 / 321 » Development Separation in Lambda-Calculus |
91
Voted
SIGMOD
2003
ACM
16 years 19 days ago
2003
ACM
The United States Environmental Protection Agency (EPA) prepares a national criteria and hazardous air pollutant (HAP) emission inventory with input from numerous states, local an...
101
Voted
ICFP
2006
ACM
16 years 13 days ago
2006
ACM
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
117
Voted
AGILEDC
2009
IEEE
15 years 7 months ago
2009
IEEE
—The Scrum software development framework was designed for the hyperproductive state where productivity increases by 5-10 times over waterfall teams and many colocated teams have...
108
Voted
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
118
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...