15784 search results - page 925 / 3157 » Mega Software Engineering |
455
click to vote
ICSE
2012
IEEE-ACM
13 years 10 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
213
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
184
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
We demonstrate a flight meta-search engine that is based on the Metamorph framework. Metamorph provides mechanisms to model web forms together with the interactions which are need...
251
click to vote
COOPIS
2002
IEEE
16 years 20 days ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
233
click to vote
SIGGRAPH
2010
ACM
16 years 6 days ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...