7139 search results - page 784 / 1428 » Language Engineering in Practice |
205
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
198
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
High volume print jobs are getting more common due to the growing demand for personalized documents. In this context, Variable Data Printing (VDP) has become a useful tool for mar...
280
click to vote
PLDI
2011
ACM
14 years 10 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
213
click to vote
AGILEDC
2009
IEEE
16 years 2 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...
166
click to vote
EUNIS
2001
15 years 8 months ago
2001
: After the election of the Georgian Technical University in 1999 as a member of uropian Universities Association, the main accent was to improve economical and managerial educatio...