7311 search results - page 319 / 1463 » Time in State Machines |
174
click to vote
PLDI
2000
ACM
15 years 11 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
233
Voted
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
199
Voted
LREC
2008
15 years 9 months ago
2008
In current phrase-based Statistical Machine Translation systems, more training data is generally better than less. However, a larger data set eventually introduces a larger model ...
158
click to vote
CII
2006
15 years 7 months ago
2006
Tool path generation is one of the most complex problems in Computer Aided Manufacturing. Although some efficient strategies have been developed, most of them are only useful for s...
193
Voted
JMLR
2006
15 years 7 months ago
2006
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...