1418 search results - page 14 / 284 » The Dynamic Complexity of Formal Languages |
128
click to vote
IFL
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
171
Voted
DANCE
2002
IEEE
15 years 6 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
195
click to vote
CMSB
2011
Springer
14 years 1 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
139
click to vote
RTCSA
1997
IEEE
15 years 6 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
137
Voted
JOT
2008
15 years 1 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...