4386 search results - page 418 / 878 » A Tamper-Resistant Programming Language System |
135
Voted
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
170
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
112
click to vote
CP
2007
Springer
15 years 10 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
134
Voted
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we describe Frontier, an FPGA placement system that uses design macro-blocks in conjuction with a series of placement algorithms to achieve highly-routable and high-...
157
Voted
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...