1892 search results - page 308 / 379 » Warren's Abstract Machine |
GLVLSI
2007
IEEE
14 years 19 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
FORMATS
2009
Springer
14 years 18 days ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
GCB
2009
Springer
14 years 18 days ago
2009
Springer
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
ICCS
2007
Springer
14 years 18 days ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
ADBIS
2006
Springer
14 years 15 days ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...