1837 search results - page 136 / 368 » Architecture = Abstractions over Software |
136
Voted
EFDBS
2003
15 years 2 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
110
click to vote
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
124
click to vote
MICRO
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...
104
Voted
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
102
click to vote
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Is there such a thing anymore as a software system that doesn't need to be secure? Almost every softwarecontrolled system faces threats from potential adversaries, from Inter...