2786 search results - page 392 / 558 » A Practical Technique for Process Abstraction |
167
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
175
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
170
click to vote
CSB
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
175
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Current practice of Web site development does not address explicitly the problems related to multilingual sites. The same information, as well as the same navigation paths, page f...
162
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Elicitation of requirements for safety critical aeroengine control systems is dependent on the capture of core design intent and the systematic derivation of requirements addressi...