552 search results - page 77 / 111 » Sources of Variability in MEG |
102
click to vote
FMCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract—Interactive TCP applications, such as Telnet and the Web, are particularly sensitive to network congestion. Indeed, congestion-induced queuing and packet loss can be a s...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Global software development is rapidly becoming the norm for technology companies. Previous qualitative research suggests that multi-site development may increase development cycl...
IWPC
2000
IEEE
15 years 2 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
CC
1999
Springer
15 years 2 months ago
1999
Springer
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...