6171 search results - page 787 / 1235 » The FrameNet Data and Software |
194
click to vote
ICESS
2005
Springer
16 years 13 days ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
191
click to vote
LCTRTS
2005
Springer
16 years 12 days ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...
182
click to vote
LCTRTS
2005
Springer
16 years 12 days ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
189
click to vote
RE
2005
Springer
16 years 12 days ago
2005
Springer
Interviews with stakeholders can be a useful method for identifying user needs and establishing requirements. However, interviews are also problematic. They are time consuming and...
193
click to vote
VMCAI
2005
Springer
16 years 11 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...