Sciweavers

10707 search results - page 417 / 2142
» Designing executable abstractions
Sort
View
131
Voted
DAC
1996
ACM
15 years 9 months ago
Partitioning of VLSI Circuits and Systems
Partitioning plays an increasingly important role in the design process of VLSI circuits and systems. There are partitioning to be solved on all levels of abstraction. The rapidly...
Frank M. Johannes
AC
2000
Springer
15 years 8 months ago
Monads and Effects
Abstract. A tension in language design has been between simple semantics on the one hand, and rich possibilities for side-effects, exception
Nick Benton, John Hughes, Eugenio Moggi
DAC
2009
ACM
16 years 6 months ago
Non-intrusive dynamic application profiling for multitasked applications
Application profiling ? the process of monitoring an application to determine the frequency of execution within specific regions ? is an essential step within the design process f...
Karthik Shankar, Roman L. Lysecky
DAC
2002
ACM
16 years 6 months ago
Software synthesis from synchronous specifications using logic simulation techniques
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
Yunjian Jiang, Robert K. Brayton
COMPSAC
2006
IEEE
15 years 11 months ago
A Framework of Model-Driven Web Application Testing
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
Nuo Li, Qin-qin Ma, Ji Wu, Mao-zhong Jin, Chao Liu...