3618 search results - page 328 / 724 » Additive functions for number systems in function fields |
135
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
—Modeling to predict faultproneness of software modules is an important area of research in software engineering. Most such models employ a large number ...
165
click to vote
FORMATS
2003
Springer
16 years 14 hour ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
150
click to vote
IWPC
1997
IEEE
15 years 11 months ago
1997
IEEE
Producing large software systems is an extremely challenging engineering task. The main reason is the difficulty of managing the enormous amounts of code and the great numbers of ...
130
Voted
USENIX
2001
15 years 8 months ago
2001
Nickle is a vaguely C-like programming language for numerical applications, useful both as a desk calculator and as a prototyping and implementation language for numerical and sem...
179
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Multiple transmit antennas in a downlink channel can provide tremendous capacity (i.e. multiplexing) gains, even when receivers have only single antennas. However, receiver and tra...