2251 search results - page 18 / 451 » Specification and Implementation Problems for C |
126
Voted
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
218
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
133
Voted
CODES
2007
IEEE
15 years 5 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
WSC
1997
15 years 3 months ago
1997
In this paper, the case of a cardboard box marketing firm is studied and a (R,s,Q,c) inventory replenishment policy is proposed and evaluated by means of discrete event simulation...
105
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...