4151 search results - page 503 / 831 » Language Driven System Design |
175
click to vote
IFIP
2005
Springer
16 years 24 days ago
2005
Springer
In this paper, as a step towards the ultimate aim of developing an evoting system that would be likely to gain and retain the trust of the general voting public, we describe a des...
174
click to vote
DATE
2003
IEEE
16 years 18 days ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
192
click to vote
FDL
2003
IEEE
16 years 18 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
205
click to vote
ERLANG
2003
ACM
16 years 17 days ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
341
click to vote
TCAD
2011
15 years 1 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...