3865 search results - page 34 / 773 » From Bidirectionality to Alternation |
CPE
1997
Springer
15 years 3 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
75
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
The spreadsheet paradigm has some unique risks and challenges that are not present in more traditional development technologies. Many of the recent advances in other branches of s...
83
Voted
DSD
2007
IEEE
15 years 6 months ago
2007
IEEE
Programmable routing and logic in field-programmable gate arrays are implemented using nMOS pass transistors. Since the threshold voltage drop across an nMOS device degrades the ...
109
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
Abstract— Alternate path routing has been well-explored in telecommunication networks as a means of decreasing the call blocking rate and increasing network utility. However, asi...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
In this paper we present the concepts of drawn symbolic picture and symbolic picture. Such notions have been conceived as an extension of the concept of drawn pictures which was i...