63 search results - page 13 / 13 » Minimizing NFA's and Regular Expressions |
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
CPAIOR
2005
Springer
14 years 2 months ago
2005
Springer
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
BMCBI
2007
13 years 8 months ago
2007
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...