918 search results - page 44 / 184 » e-Procurement Using Goal Programming |
132
click to vote
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. The Pathalyzer is a program for analyzing large-scale signal transduction networks. Reactions and their substrates and products are represented as transitions and places ...
114
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
112
click to vote
SERP
2003
15 years 3 months ago
2003
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
107
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
137
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...