14244 search results - page 2614 / 2849 » Modeling Program Predictability |
112
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
149
Voted
GG
2008
Springer
15 years 3 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
110
click to vote
AI
2010
Springer
15 years 2 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
102
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: DNA replication is a fundamental biological process during S phase of cell division. It is initiated from several hundreds of origins along whole chromosome with diffe...
150
Voted
PPL
2008
15 years 2 months ago
2008
As the number of integrated IP cores in the current System-on-Chips (SoCs) keeps increasing, communication requirements among cores can not be sufficiently satisfied using either ...