211 search results - page 11 / 43 » Cis-regulatory module detection using constraint programming |
FAC
2010
13 years 5 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
ECOOP
2003
Springer
14 years 28 days ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ISPD
2000
ACM
14 years 2 days ago
2000
ACM
modules can be handled in constraint graphs efficiently. This Floorplan area minimization is an important problem because many modules have shape flexibilities during the floorplan...