Home
Browse
Ask Us
Chat
Harmful Language Statement
Log in
UScholar Works
Advanced Search
Year
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
TO
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
Type
Text
8
Format
application/pdf
8
Collection
UScholar Works
8
Filters:
Department:
"Computing, School of"
Type:
"Text"
1
-
25
of
8
Gallery view
Number of results to display per page
10
25
50
100
200
Sort by Relevance
Sort by Title A-Z
Sort by Title Z-A
Sort by Date Ascending
Sort by Date Descending
Sort by Last Modified Ascending
Sort by Last Modified Descending
Title
Date
Type
1
A transformational approach to asynchronous high-level synthesis
1993
Text
2
HOP: a process model for synchronous hardware systems
1988
Text
3
Eliminating the call stack to save RAM
2009-01-01
Text
4
HOP: a process model for synchronous hardware semantics, and experiments in process composition
1988
Text
5
Specification-driven design of custom hardware in HOP
1988
Text
6
HOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automata
1992
Text
7
Combinator evaluation of functional programs with logical variables
1987
Text
8
Semantic definition of a subset of the structured query language (SQL)
1991
Text
1
-
25
of
8
