28244 search results - page 193 / 5649 » System Design for Flexibility |
183
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
307
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
198
click to vote
P2P
2008
IEEE
16 years 1 months ago
2008
IEEE
In most DHTs proposed so far, all nodes are assumed to be homogeneous, and all messages are routed using a common algorithm. In practice, however, nodes in large-scale systems mig...
220
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
A strong level of trust in the software running on an embedded processor is a prerequisite for its widespread deployment in any high-risk system. The expanding field of software p...
231
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Incremental workflow mining is a technique for automatically deriving a process model from the on-going executions of a process. This way, the process model becomes more ...