1446 search results - page 115 / 290 » Hardware Software Co-Design Using Functional Languages |
178
Voted
ACMMSP
2006
ACM
15 years 11 months ago
2006
ACM
Most operating systems enforce process isolation through hardware protection mechanisms such as memory segmentation, page mapping, and differentiated user and kernel instructions....
136
Voted
FLAIRS
2008
15 years 7 months ago
2008
Truly generic and reusable intelligent tutoring software architectures have remained elusive. As part of our effort to develop tutoring systems for simulations of ill-defined doma...
163
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
130
click to vote
ERSA
2006
15 years 6 months ago
2006
Reconfigurable supercomputing (RSC) combines programmable logic chips with high performance microprocessors, all communicating over a high bandwidth, low latency interconnection n...
130
click to vote
MDAFA
2004
Springer
15 years 10 months ago
2004
Springer
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...